361. Software fault detection and correction :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer security.,Computer software-- Development.,Computers-- Reliability.,Computer security.,Computer software-- Development.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Computers-- Reliability.

رده :
QA76
.
76
.
R44

362. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses

رده :
QA
76
.
7
.
S587
2008

363. Software language engineering : third international conference, SLE 2010, the Netherlands, October 12-13, 2010 : revised selected papers

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: ، Software engineering -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Programming languages )Electronic computers(

رده :
QA76
.
7
.
S587
2010

364. Software process improvement and capability determination :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer software-- Development-- Management, Congresses.,Software engineering, Congresses.,Information Systems Applications (incl. Internet).,Management of Computing and Information Systems.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Theory of Computation.,Business & Economics-- Information Management.,Computer science.,Computer software-- Development-- Management.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Information architecture.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
758
.
S65
2018eb

365. Software process improvement for small and medium enterprises :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer software-- Development-- Management.,Computer software industry-- Management, Case studies.,Small business-- Data processing, Case studies.,Computer software-- Development-- Management.,Computer software industry-- Management.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Small business-- Data processing.

رده :
QA76
.
76
.
D47
S66354
2008eb

366. Softwaretechnik :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Operating systems (Computers),Software engineering.

367. Solutions to local area networks: the Indian context

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Local area networks )Computer networks(,، Computers networks protocals,، Communications software

رده :
TK
5105
.
7
.
S65
1990

368. Source Code Analytics With Roslyn and JavaScript Data Visualization /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.

رده :
QA76
.
754
.
M85
2016

369. Spiele effektiv programmieren

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.

370. Standardization research in information technology :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Information technology-- Standards.,Standardization.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Standards.,Standardization.

رده :
T58
.
5
.
S7325
2008eb

371. Static analysis :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
6
.
I5733
2012eb

372. Static analysis

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6
.
I5733
2009

373. Static analysis :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6

374. Statistical analysis and data display :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: SAS (Computer file),Mathematical statistics-- Data processing.,R (Computer program language),Statistics-- Data processing.,Mathematical Statistics.,Mathematics.,Physical Sciences & Mathematics.,Statistical Theory and Methods.,Statistics and Computing/Statistics Programs.,Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.,Statistics.,Mathematical statistics-- Data processing.,R (Computer program language),Statistics-- Data processing.

رده :
QA276
.
4

375. Summary of a workshop on software certification and dependability /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer software-- Certification.,Computer software-- Development.,Computer software-- Certification.,Computer software-- Development.,COMPUTERS-- Data Processing.

رده :
QA76
.
76
.
C47
S86
2004eb

376. Supercomputing frontiers :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Supercomputers, Congresses.,Supercomputers.

رده :
QA76
.
88

377. Symposium on real-time and hybrid systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
758

378. Synchronous Programming of Reactive Systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Information theory.,Operating systems (Computers),Software engineering.

379. System analysis and modeling :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.

رده :
QA402
.
S26
2018

380. System design from porvably correct constructs: the beginning of true software engineering

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، System design,Programming ، Electronic digital computers,، Debugging in computer science

رده :
QA
76
.
9
.
S88
M37
1985